Constructive Proof of the Existence of an Equilibrium in a Competitive Economy with Sequentially Locally Non-Constant Excess Demand Functions
نویسنده
چکیده
In this paper we will constructively prove the existence of an equilibrium in a competitive economy with sequentially locally non-constant excess demand functions. And we will show that the existence of such an equilibrium in a competitive economy implies Sperner’s lemma. We follow the Bishop style constructive mathematics. Keywords—Sequentially locally non-constant excess demand functions, Equilibrium in a competitive economy, Constructive mathematics
منابع مشابه
Constructive Proof of Brouwer’s Fixed Point Theorem for Sequentially Locally Non-constant and Uniformly Sequentially Continuous Functions
We present a constructive proof of Brouwer’s fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions based on the existence of approximate fixed points. And we will show that our Brouwer’s fixed point theorem implies Sperner’s lemma for a simplex. Since the existence of approximate fixed points is derived from Sperner’s lemma, our Brouwer’s fixe...
متن کاملConstructive Proof of Tychonoff’s Fixed Point Theorem for Sequentially Locally Non-Constant Functions
We present a constructive proof of Tychonoff’s fixed point theorem in a locally convex space for uniformly continuous and sequentially locally non-constant functions. Keywords—sequentially locally non-constant functions, Tychonoff’s fixed point theorem, constructive mathematics.
متن کاملOptimally Local Dense Conditions for the Existence of Solutions for Vector Equilibrium Problems
In this paper, by using C-sequentially sign property for bifunctions, we provide sufficient conditions that ensure the existence of solutions of some vector equilibrium problems in Hausdorff topological vector spaces which ordered by a cone. The conditions which we consider are not imposed on the whole domain of the operators involved, but just on a locally segment-dense subset of the domain.
متن کاملCompetitive Equilibrium when Preferences
We show the existence of a competitive equilibrium in an economy with many consumers whose preferences may change over time. The demand correspondence of an individual consumer is determined by the set of subgameperfect equilibrium outcomes in his or her intrapersonal game. For additively separable preferences with continuous period utility functions that are unbounded above, this demand corres...
متن کاملUndecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
The Uzawa equivalence theorem [H. Uzawa, Walras’s Existence Theorem and Brouwer’s Fixed Point Theorem, Economic Studies Quarterly 8 (1962) 59–62] showed (classically) that the existence of Walrasian equilibrium in an economy with continuous excess demand functions is equivalent to Brouwer’s fixed point theorem, that is, the existence of a fixed point for any continuous function from an n-dimens...
متن کامل